Formal contract

Results: 190



#Item
31Programming paradigms / Concurrent computing / Formal methods / Design by contract / Software design / Hoare logic / Liskov substitution principle / Communications protocol / Algorithm / Software engineering / Computing / Theoretical computer science

A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed]

Add to Reading List

Source URL: www.metamaxim.com

Language: English - Date: 2010-05-23 06:34:27
32Model theory / Formal systems / Proof theory / Interpretation / Philosophy of mind / Theory / First-order logic / Axiom / Structure / Logic / Mathematical logic / Metalogic

CSL Technical Report SRI-CSL-01-01 • April[removed]Theory Interpretations in PVS Sam Owre and N. Shankar Funded by NASA Langley Research Center contract numbers NAS1[removed]and

Add to Reading List

Source URL: pvs.csl.sri.com

Language: English - Date: 2006-11-30 07:15:58
33Logic in computer science / Formal methods / Programming paradigms / Java Modeling Language / Java platform / Object-oriented programming / Postcondition / Class invariant / Design by contract / Software engineering / Computing / Theoretical computer science

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 1 Concordia University, Montr´eal, Qu´ebec, Canada

Add to Reading List

Source URL: www.eecs.ucf.edu

Language: English - Date: 2007-01-29 15:18:04
34Procurement / R. v. Ron Engineering and Construction (Eastern) Ltd / Call for bids / Business / Contract law / Contract

TENDERS & CONTRACTS PROCUREMENT PROCESS (>$100,000) Tender & Contract Officer FORMAL INVITATION PROCESS Client

Add to Reading List

Source URL: www.dtpli.vic.gov.au

Language: English - Date: 2014-10-06 09:00:36
35Contract / Contract law / Legal documents / Bunbury

Microsoft Word - FORMAL INSTRUMENT OF AGREEMENT.doc

Add to Reading List

Source URL: www.bunbury.wa.gov.au

Language: English - Date: 2015-03-25 12:12:26
36Information technology / Data management / Kalido / Business / Formal sciences / Data warehouse / Infrastructure optimization / Rebate / Analytics / Information technology management / Business intelligence / Data modeling

Life Sciences Subject Area Brief Contract Optimization Maximize contract ROI through predictive analysis. Realize significant cost savings through rebate/chargeback management. Reduce risk, exposure and redundancy. To m

Add to Reading List

Source URL: www.kalido.com

Language: English - Date: 2013-06-27 14:50:18
37Financial services / Stock market / Securities and Futures Commission / Collective investment scheme / Futures contract / Listing Rules / Stock exchange / Financial economics / Investment / Finance

Appendix 5 Formal Application (For Collective Investment Schemes) Form C3 This form must be lodged duly completed at least FIVE CLEAR BUSINESS DAYS, unless otherwise agreed by the Exchange, prior to the date on which it

Add to Reading List

Source URL: www.hkex.com.hk

Language: English - Date: 2014-11-06 21:47:43
38Grants / Philanthropy

Guidance note 3 : Terms and conditions of funding What happens if your application is successful? If your application is successful, we will draw up a formal contract. This will set out the full terms and conditions of

Add to Reading List

Source URL: www.lrfoundation.org.uk

Language: English - Date: 2015-02-06 11:33:47
39Legal terms / Contract / Assignment / Government procurement in the United States / Law / Contract law / Legal documents

RFQ formal instrument of agreement for supply of consultant services | Version 1 | June 2012 | 39122 | CS000372 | Final page 1 RFQ Formal Instrument of Agreement

Add to Reading List

Source URL: 147.109.254.181

Language: English - Date: 2015-03-17 02:47:43
40Legal documents / Request for quotation / Systems engineering / Purchasing / Warranty / Contractual term / Contract / Purchasing process / Request for proposal / Business / Procurement / Contract law

Request For Quotation - Supply of Goods RFQ Formal Instrument of Agreement - Supply of Goods Template guide notes (Version 1.1 – January[removed]Important information:

Add to Reading List

Source URL: 147.109.254.181

Language: English - Date: 2015-03-16 03:04:36
UPDATE